domain integrity constraints